Static program analysis

Results: 262



#Item
201Software testing / GrammaTech / Program analysis / Application security / Software bug / Static program analysis / Vulnerability / Analysis / Pointer / Computing / Software / Cross-platform software

PRODUCT DATASHEET CODESONAR® 4 STATIC ANALYSIS “CodeSonar does a better job of

Add to Reading List

Source URL: www.grammatech.com

Language: English - Date: 2014-11-26 00:46:21
202Software review / Parasoft / Extreme programming / Program analysis / Test automation / Software quality / Static program analysis / Wipro / Unit testing / Software testing / Software / Computing

Wipro Meets Exacting Software Quality Standards and Fuels Global Growth through Parasoft’s Development Testing Platform Wipro, a recognized provider of IT services to Global 1000 companies, has always emphasized the hi

Add to Reading List

Source URL: www.parasoft.com

Language: English - Date: 2014-12-01 04:04:06
203Program analysis / Software quality / Computer security / Hacking / Vulnerability / Static program analysis / Software assurance / Software testing / Software engineering / Evaluation

Static Analysis Tool Exposition

Add to Reading List

Source URL: samate.nist.gov

Language: English - Date: 2013-05-07 16:54:58
204Cross-platform software / Source code / MISRA C / GrammaTech / Application security / Software quality / Static program analysis / Embedded system / Coding conventions / Computing / Computer programming / Software engineering

White Paper April[removed]Embedded Software Design: Best Practices for Static Analysis Tools This paper reviews a number of the growing complexities that embedded software development

Add to Reading List

Source URL: www.grammatech.com

Language: English - Date: 2014-11-26 00:46:21
205Cyberwarfare / Computer network security / Application security / Security / Vulnerability / Penetration test / Code review / Static program analysis / Test automation / Computer security / Software testing / Computing

Building Security In Editors: John Steven, [removed] Gunnar Peterson, [removed] Deborah A. Frincke, [removed] State of Application

Add to Reading List

Source URL: www.cigital.com

Language: English - Date: 2013-11-26 20:39:31
206Sentiment analysis / Combinatorics / Static single assignment form / Belief propagation / Graph / Theoretical computer science / Mathematics / Graph theory / Natural language processing

Sentiment Propagation via Implicature Constraints Lingjia Deng Intelligent Systems Program University of Pittsburgh [removed]

Add to Reading List

Source URL: aclweb.org

Language: English - Date: 2014-04-18 06:11:01
207Data types / Software bugs / Primitive types / Static program analysis / Pointer / Compiler construction / Alias analysis / Aliasing / Memory safety / Software engineering / Computing / Computer programming

Effective Dynamic Detection of Alias Analysis Errors Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang Columbia University, United States {jingyue,ganghu,ty,junfeng}@cs.columbia.edu

Add to Reading List

Source URL: systems.cs.columbia.edu

Language: English - Date: 2013-09-04 15:38:19
208Quantum field theory / OWASP / Security / Static program analysis / Penetration test / WebSocket / DevOps / Propagator / Java / Computing / Software development / Physics

Jeff Williams, CEO OWASP AppSec DC April 4, 2012 Architecture Review

Add to Reading List

Source URL: www.owasp.org

Language: English - Date: 2012-04-18 21:58:12
209Compiler construction / Debugging / Programming language implementation / Software optimization / Compiler optimizations / Disassembler / Program slicing / Data-flow analysis / Decompiler / Computing / Software engineering / Computer programming

Static Analysis of Binary Executables Steve Hanov University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada N2L 3G1

Add to Reading List

Source URL: stevehanov.ca

Language: English - Date: 2010-09-30 13:17:04
210Weka / Static program analysis / FindBugs / Software bug / C / Software testing / Software / Computing / Cross-platform software

Master Thesis Software Engineering Thesis no: MSE[removed] Intelligent Code Inspection using

Add to Reading List

Source URL: www.bth.se

Language: English - Date: 2010-09-23 02:04:20
UPDATE